A Simple Expressive Real Time CCS
نویسندگان
چکیده
We describe a new real time process algebra with simple semantics but consider able expressive power It exhibits the advantages of both the constraint oriented and marker variable speci cation styles The de nition extends Milner s CCS rstly with a simple notion of absolute time added to actions and then with relative timing expressions which may refer to time markers
منابع مشابه
A constraint-oriented real-time process calculus
A real-time extension of ccs is described, based on true concurrency semantics and a determination to make composition the sole arbiter of real-time behaviour. The resultant calculus has a simple definition, encourages constraint-oriented specification and exhibits considerable expressive power.
متن کاملAn Expressive Real-Time CCS
This paper describes a new ‘real-time’ process algebra that exhibits the advantages of both the ‘constraint-oriented’ and ‘marker variable’ specification styles. Its definition extends CCS, firstly with a basic notion of absolute time added to actions, and then with relative timing expressions which may refer to time markers.
متن کاملA Note on Scope and Infinite Behaviour in CCS-like Calculi
The study of concurrency is often conducted with the aid of process calculi. These calculi treat processes much like the -calculus treats computable functions. They provide a language in which the structure of terms represents the structure of processes together with an operational semantics to represent computational steps. Undoubtedly Milner’s CCS [4], a calculus for the modeling and analysis...
متن کاملCCS + Time = An Interleaving Model for Real Time Systems
This paper shows how to put time into Milner’s CCS to model real time systems. In particular, we will develop an expansion theorem for real time concurrency, which is an extension of the expansion theorem of CCS. The essential step made in this work is that a more general form of action prefix, @t:P is introduced, where t is a time variable. Intuitively, @t:P is an agent which may perform and b...
متن کاملOn the Expressive Power of Restriction and Priorities in CCS with Replication
We study the expressive power of restriction and its interplay with replication. We do this by considering several syntactic variants of CCS! (CCS with replication instead of recursion) which differ from each other in the use of restriction with respect to replication. We consider three syntactic variations of CCS! which do not allow the use of an unbounded number of restrictions: CCS−!ν ! is t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994